home *** CD-ROM | disk | FTP | other *** search
-
- function copyplaintext_options_init(){
- try{
-
- var oPrefs = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("");
-
- // Prefill
- if(oPrefs.prefHasUserValue("copyplaintext.formatting.trim"))
- document.getElementById("trim").checked = oPrefs.getBoolPref("copyplaintext.formatting.trim");
- if(oPrefs.prefHasUserValue("copyplaintext.formatting.extra.space"))
- document.getElementById("extra-space").checked = oPrefs.getBoolPref("copyplaintext.formatting.extra.space");
- if(oPrefs.prefHasUserValue("copyplaintext.formatting.extra.newline"))
- document.getElementById("extra-newline").checked = oPrefs.getBoolPref("copyplaintext.formatting.extra.newline");
-
- }catch(e){ alert("Could not load preferences.\n"+ e); }
- }
-
- function copyplaintext_options_save(){
- try{
-
- var oPrefs = Components.classes["@mozilla.org/preferences-service;1"].getService(Components.interfaces.nsIPrefService).getBranch("");
-
- // Save
- oPrefs.setBoolPref("copyplaintext.formatting.trim", document.getElementById("trim").checked);
- oPrefs.setBoolPref("copyplaintext.formatting.extra.space", document.getElementById("extra-space").checked);
- oPrefs.setBoolPref("copyplaintext.formatting.extra.newline", document.getElementById("extra-newline").checked);
-
- }catch(e){ alert("Could not save preferences.\n"+ e); return false; }
-
- return true;
- }